Notes on P - Algebra ( 1 ) : Process Structures

We develop an elementary theory of process structure, a mathematical object which is intended to capture a basic aspect of concurrent processes in a simple way. It has two kinds of presentations: one underlies many extant process theories and another has a more geometric avour. We prove these are essentially equivalent. The theory forms a basis of P-algebra, a general semantic structure for concurrent processes.